$\forall$${\it es}$:ES, $A$:Type, $I_{1}$, $I_{2}$:AbsInterface($A$). [$I_{1}$?$I_{2}$] $\in$ AbsInterface($A$)